<?php

//
// Enable PHP sessions
//
function enableSessions() {
  session_start();
}

enableSessions();

?>
